SOFA Software Progress Report

Tool Support for Software Development Progress Report

Assume-guarantee verification of software components in SOFA 2 framework

A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be model-checked directly. A typical solution is to create an artificial environment for the component such that composition of them forms a runnable program that can be model-checked. While it is possible to create a un...

ACL 2 for Parallel Systems Software : A Progress Report

A significant development in high-performance computing has occurred in recent years with the proliferation of “Beowulf” clusters [6]. Beowulf clusters are parallel computers assembled from commodity-priced personal computers and networks. The explosive growth of the personal computer marketplace, together with rapid technological advances in the hardware sold there, has driven the price/perfor...

Ontological Commitments in Knowledge-Based Design Software: A Progress Report

The increased sensitivity of engineered products to external forces requires new computer-based design tools that can express the richness and complexity of product knowledge. This paper is a progress report of the author’s research towards the development of such a knowledge-based design tool, called the Design Knowledge Specification Language (DKSL). A key goal is to ensure the maximum possib...

Progress Report

The goals for the first quarter in the timeline defined in the proposal were to run experiments on ESnet and ANI testbed to capture control-connection packets for file transfer applications, and to design new online flow detection algorithms. Both these activities were planned for the first proposed work item, which is to design new online flow detection algorithms because the Hybrid Network Tr...